Linkoping Electronic Articles in Computer and Information Science Vol): nr 13 A Floyd-Hoare Method for

Source URL: www.ep.liu.se

Approximate Inference in Probabilistic Graphical Models with Determinism Vibhav Gogate Donald Bren School of Information and Computer Science University of California, Irvine, CA 92697, USA

Source URL: www.hlt.utdallas.edu

Philosophy of Computer Science: PoC Meets AI and Law (Roundtable Discussion) Organized by Rainhard Bengez, TU Muenchen, Germany () Raymond Turner, University of Essex, UK ()

Source URL: events.cs.bham.ac.uk

• Academia
• Knowledge
• Engineering
• Abstraction
• Philosophy of artificial intelligence
• Formal sciences
• Complex systems theory
• Computer engineering
• Computer science
• Philosophy of information
• Philosophy
• Mathematics

On the Approximability of Some Network Design Problems JULIA CHUZHOY Computer Science and Artificial Intelligence Laboratory, MIT and Deptartment of Computer and Information Science, University of Pennsylvania ANUPAM GUP

Source URL: ttic.uchicago.edu

Corporate Overview Why organisations trust NTT Com Security Who we are We’re a globally respected information

Source URL: www.nttcomsecurity.com

• Prevention
• Security
• Safety
• Computer security
• National security
• Actuarial science
• Cryptography
• Information security
• Risk management
• Threat
• Risk
• Nippon Telegraph and Telephone

Bridging the gap between agent and environment: the missing body Julien Saunier Computer Science, Information Processing and Systems Laboratory (LITIS), INSA-Rouen, ´

Source URL: homepage.lnu.se

Steve Oney School of Information University of Michigan 4381 North Quadrangle 105 South State Street Ann Arbor, MI 48109

Source URL: from.so

• Humancomputer interaction
• Computer science
• Human communication
• Interpersonal communication
• Scott Hudson
• Association for Computing Machinery
• Human-Computer Interaction Institute
• ACM Symposium on User Interface Software and Technology
• Conference on Human Factors in Computing Systems
• George G. Robertson

Can They Hear Me Now? A Security Analysis of Law Enforcement Wiretaps Micah Sherr, Gaurav Shah, Eric Cronin, Sandy Clark, and Matt Blaze Dept. of Computer and Information Science, University of Pennsylvania Philadelphia,

Source URL: security.cs.georgetown.edu

IADIS International Journal on Computer Science and Information Systems Vol. 9, No. 2, ppISSN: AUTONOMOUS ACQUISITION OF NATURAL SITUATED COMMUNICATION

Source URL: xenia.media.mit.edu

Linear Cryptanalysis Kaisa Nyberg Department of Information and Computer Science Aalto University School of Science June 6, 2013

Source URL: ice.mat.dtu.dk